semi-markov cpa class diagram accountant tax uml reverse engineering audit accounting markov chain bookkeeping conseil markov model .net